Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
311	Learn You a Haskell for Great Good! Add to Reading List Source URL: www.nostarch.com Language: English - Date: 2012-02-08 15:24:21 Functional programming Higher-order functions Subroutines Lambda calculus Type theory Map Function Partial application Type signature Declarative programming Software engineering Computer programming
312	KENTUCKY GEOLOGICAL SURVEY TORIS DATA SUMMARY Kentucky Geological Survey 228 MMRB University of Kentucky Lexington, KY[removed]www.uky.edu/KGS Add to Reading List Source URL: www.uky.edu Language: English - Date: 2001-11-20 14:24:13 Lisp programming language Kentucky Geological Survey University of Kentucky Computer programming Cons Declarative programming Computing Functional programming
313	Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-05-17 20:14:56 Fourier analysis Laplace transform Transforms ALGOL 68 Four-square cipher Obfuscated code Mathematical analysis Integral transforms Programming language theory
314	Logic Programming Introduction Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University of Linz, Austria [removed] Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2011-10-05 08:12:04 Programming paradigms Constraint programming Prolog Logic programming YAP Declarative programming Software engineering Computer programming Computing
315	Next Generation Logic Programming Systems Gopal Gupta In the last 30 years logic programming (LP), with Prolog as the most representative logic programming language, has emerged as a powerful paradigm for intelligent rea Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2003-09-24 11:15:53 Declarative programming Constraint programming Reasoning Automated theorem proving Programming paradigms Prolog Reasoning system Logic Constraint logic programming Software engineering Artificial intelligence Logic programming
316	Product Line Engineering using Domain-Specific Languages Markus Voelter Eelco Visser Add to Reading List Source URL: www.voelter.de Language: English - Date: 2014-06-21 13:23:57 Computing Domain-specific language Programming paradigms Declarative programming Model-driven engineering Feature model Domain-specific modeling Domain analysis Software engineering Unified Modeling Language Systems engineering
317	Copy of DESGSummaryGroups.xls Add to Reading List Source URL: okanogancounty.org Language: English - Date: 2009-10-21 20:07:17 Computer programming Functional programming CONS Rur CAR and CDR Lisp programming language Computing Declarative programming
318	Copy of DESGSummaryGroups.xls Add to Reading List Source URL: www.okanogancounty.org Language: English - Date: 2009-10-21 20:07:17 Computer programming Functional programming CONS Rur CAR and CDR Lisp programming language Computing Declarative programming
319	Sl. No. Name of Applicant Name of State / City Ref No & Date Subject Add to Reading List Source URL: www.ansi.gov.in Language: English - Date: 2012-08-21 22:05:40 Cons Functional programming Lisp programming language Declarative programming Computer programming Software engineering
320	Ralf Hinze Generic Programs and Proofs Bonn, 2000 Fu Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:35:28 Declarative programming Data types Functional programming Generic programming Lambda calculus Type system Haskell Polymorphism Simply typed lambda calculus Software engineering Computing Type theory

UPDATE